Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
11	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
12	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
13	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
14	Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2010-03-12 16:07:46 Hoare logic Static program analysis Predicate transformer semantics
15	Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2 Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-06-11 11:16:39 Formal methods Predicate transformer semantics Loop invariant Hoare logic State-space representation
16	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
17	Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2013-11-29 09:30:12 Software Computing Compiler construction Programming language implementation Compiler optimizations Formal methods Edsger W. Dijkstra Predicate transformer semantics Optimizing compiler Static single assignment form Compiler Psyco
18	Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-23 11:19:39 Theoretical computer science Formal methods Software engineering Computing Logic in computer science Java Modeling Language Postcondition Extended static checking Predicate transformer semantics ESC/Java Precondition KeY
19	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
20	COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple, Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Mathematical logic Logic in computer science Substructural logic Hoare logic Logic Separation logic Hoare Correctness Predicate transformer semantics Program logic Theoretical computer science Mathematics